ConfirmAssert

ConfirmAssert[test] confirms that test is True, otherwise throwing an error to the nearest surrounding Enclose.

ConfirmAssert[test,info] evaluates info and includes its value in the thrown error if test is not True.

ConfirmAssert[test,info,tag] uses the specified tag for any thrown errors.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.